no-cycle condition

无环条件